CONSTD = "constd"
SORT = "sort"
STATE = "state"
INPUT = "input"
NEXT = "next"
ADD = "add"
SUB = "sub"
ITE = "ite"
MUL = "mul"
UEXT = "uext"
ZERO = "zero"
ONE = "one"
DEC = "dec"
INC = "inc"
AND = "and"
NOT = "not"
EQ = "eq"
ULT = "ult"
ULTE = "ulte"
UGT = "ugt"
UGTE = "ugte"
UDIV = "udiv"
UREM = "urem"
WRITE = "write"
READ = "read"
BAD = "bad"
NEQ = "neq"
INIT = "init"
SLICE = "slice"